Modeling the User’s Constraint Domain

The availability of two decades of research in off-the-shelf constraint solvers makes Constraint Programming the method of choice in many application areas of Artificial Intelligence. The domain of these systems is naturally very abstract such that an elaborate modeling of the application domain in the constraint domain has to be made. In interactive applications, the found model is normally too abstract to be handled by the user. I propose a modeling schema that is oriented to the tackled application domain and still uses the powerful abstract solvers. I think this will allow for better software ergonomics as an Object-Oriented model is closer to the users expertise than a model in clp(FD) for example. The main idea is to move the interpretation work of user-input and solver-output from the application to the implementation of domain specific constraints.